<?php
interface static {
}
